$\forall$$x$:Top, ${\it as}$:Top List. last($x$.${\it as}$) $\sim$ if null(${\it as}$)$\rightarrow$ $x$ else last(${\it as}$) fi